Algebra / Modeling / Computer Aided Manufacturing / Communication Networks / Composition / Real Time Systems / Process Algebra / Logic Design / Temporal Logic / Application Software / Real Time Systems / Process Algebra / Logic Design / Temporal Logic / Application Software